测试用例 | 线程数/中断数 | 不使用DPOR算法 | 使用DPOR算法 | ||
执行迁移数 | 执行时间 | 执行迁移数 | 执行时间 | ||
ARM1 | 2/2 | 1193 k | 472 s | 236 k | 89 s |
ARM2 | 3/2 | 2764 k | 993 s | 501 k | 294 s |
ARM3 | 4/3 | 8769 k | / | 1152 k | 9578 s |
PPC1 | 2/2 | 241 k | 4156 s | 45 k | 93 s |
PPC2 | 4/4 | / | / | 82 k | 860 s |
PPC3 | 6/5 | / | / | 157 k | 7985 s |